ARM: VGIC: drop unneeded gic_restore_pending_irqs()
authorAndre Przywara <andre.przywara@linaro.org>
Tue, 6 Feb 2018 17:08:56 +0000 (17:08 +0000)
committerStefano Stabellini <sstabellini@kernel.org>
Thu, 8 Feb 2018 21:18:08 +0000 (13:18 -0800)
commit7a12257230e8f6979427aa89ba46022b2192ae79
tree8ac3cc02c64c6eaffc6410bae1b4598f77933f3f
parent2f92a0b22e3aa46b2785342d0aa5d54bc30d3be2
ARM: VGIC: drop unneeded gic_restore_pending_irqs()

In gic_restore_pending_irqs() we push our pending virtual IRQs into the
list registers. This function is called once from gic_inject(), just
before we return to the guest, but also in gic_restore_state(), when
we context-switch a VCPU. Having a closer look it turns out that the
later call is not needed, since we will always call gic_inject() anyway.
So remove that call (and the forward declaration) to streamline this
interface and make separating the GIC from the VGIC world later.

Signed-off-by: Andre Przywara <andre.przywara@linaro.org>
Reviewed-by: Julien Grall <julien.grall@arm.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
xen/arch/arm/gic.c